Von Neumann–Morgenstern utility theorem